Estelle-based test generation tool
نویسندگان
چکیده
منابع مشابه
Optimum Test Sequence Generation from Estelle Specifications
The recent research results from the Protocol Engineering Lab of the University of Delaware in minimum-length test generation based on Estelle speci cations are summarized. The methods use models restricting the number of self-loops to be consecutively traversed for each state, and utilizing semicontrollable interfaces of the IUT to increase the number of testable transitions. The initial resul...
متن کاملTest Case Generation Based on Formal Speci cations in Estelle
This paper deals with the generation of conformance test sequences from speciications in Estelle. Our approach is to make the well-founded test generation methods based on nite state machines (FSM) applicable to speciications in Estelle. An algorithm is presented for transformation of Estelle modules into a form free of provided-clauses. The transformed modules allow to apply test generation me...
متن کاملAntirandom Test Patterns Generation Tool
Random testing is a well known concept that each test is selected randomly regardless of the test previously applied. This paper introduces the antirandom testing which each test applied is chosen such that its total distance from all previous tests is maximum. And one automatic test patterns generation tool using this concept is implemented. At the same time, one popular test generation and si...
متن کاملTimed Automata Generation from Estelle Speci cations
The aim of this paper is to present a new method to generate timed input/output automata from Estelle speciications. The main idea is to extend the ESTELLE language with a new constructor : TVAR, which permits the deenition of clocks to be used for time constraints. The second concept is to propose some semantic rules in order to deene how to take into account clock constraints in the ESTELLE s...
متن کاملJSXM: A Tool for Automated Test Generation
The Stream X-machine (SXM) is an intuitive and powerful modelling formalism that extends finite state machines with a memory (data) structure and function-labelled transitions. One of the main strengths of the SXM is its associated testing strategy: this guarantees that, under well defined conditions, all functional inconsistencies between the system under test and the model are revealed. Unfor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Communications
سال: 1991
ISSN: 0140-3664
DOI: 10.1016/0140-3664(91)90111-d